Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
003413 | Frédéric Blanqui [République populaire de Chine] ; Cody Roux [France] | On the relation between sized-types based termination and semantic labelling |
003920 | Frédéric Blanqui [République populaire de Chine, France] ; Cody Roux [France] | On the Relation between Sized-Types Based Termination and Semantic Labelling |
This area was generated with Dilib version V0.6.33. |